Woodcock, Jim: шукати на сайті Z-Library

Рік:

2015

Мова:

english

Файл:

PDF, 590 KB

english, 2015

Unifying classes and processes

Software & Systems Modeling

Журнал:

Рік:

2005

Мова:

english

Файл:

PDF, 1.57 MB

english, 2005

Valacyclovir prevention of cytomegalovirus reactivation after heart transplantation: a randomized trial

Jim J Egan, Kevin B Carroll, Nizar Yonan, Ashley Woodcock, Adam Crisp

Журнал:

The Journal of Heart and Lung Transplantation

Рік:

2002

Мова:

english

Файл:

PDF, 94 KB

english, 2002

The Safety-Critical Java memory model formalised

Cavalcanti, Ana, Wellings, Andy, Woodcock, Jim

Журнал:

Woodcock, Jim, Larsen, Peter Gorm, Bicarregui, Juan, Fitzgerald, John

Рік:

2013

Мова:

english

Файл:

PDF, 1.22 MB

english, 2013

Formal methods

Журнал:

ACM Computing Surveys

Рік:

2009

Мова:

english

Файл:

PDF, 736 KB

english, 2009

[Lecture Notes in Computer Science] FM’99 — Formal Methods Volume 1709 || A weakest precondition semantics for an object-oriented language of refinement

Wing, Jeannette M., Woodcock, Jim, Davies, Jim

Рік:

1999

Мова:

english

Файл:

PDF, 322 KB

english, 1999

[Lecture Notes in Computer Science] FM’99 — Formal Methods Volume 1708 ||

Wing, Jeannette M., Woodcock, Jim, Davies, Jim

Рік:

1999

Мова:

english

Файл:

PDF, 21.24 MB

english, 1999

[Lecture Notes in Computer Science] FM’99 — Formal Methods Volume 1708 || Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination

Wing, Jeannette M., Woodcock, Jim, Davies, Jim

Рік:

1999

Мова:

english

Файл:

PDF, 297 KB

english, 1999

[IEEE 2014 9th International Conference on System of Systems Engineering (SOSE) - Adelade, SA (2014.6.9-2014.6.13)] 2014 9th International Conference on System of Systems Engineering (SOSE) - An approach for managing semantic heterogeneity in Systems of Systems Engineering

Foster, Simon, Miyazawa, Alvaro, Woodcock, Jim, Cavalcanti, Ana, Fitzgerald, John, Larsen, Peter Gorm

Рік:

2014

Мова:

english

Файл:

PDF, 549 KB

english, 2014

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2010 Volume 6255 || A Modality for Safe Resource Sharing and Code Reentrancy

Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Woodcock, Jim

Рік:

2010

Мова:

english

Файл:

PDF, 277 KB

english, 2010

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Fitzgerald, John, Gamble, Carl, Larsen, Peter Gorm, Pierce, Kenneth, Woodcock, Jim

Рік:

2015

Мова:

english

Файл:

PDF, 1.20 MB

english, 2015

[IEEE 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) - Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim, Fritzson, Peter, Brauer, Jorg, Kleijn, Christian, Lecomte, Thierry, Pfeil, Markus, Green, Ole, Basagiannis, Stylianos, Sadovykh, Andrey

Рік:

2016

Мова:

english

Файл:

PDF, 438 KB

english, 2016

Unifying theories of time with generalised reactive processes

Foster, Simon, Cavalcanti, Ana, Woodcock, Jim, Zeyda, Frank

Журнал:

Information Processing Letters

Рік:

2018

Мова:

english

Файл:

PDF, 298 KB

english, 2018

RoboChart: modelling and verification of the functional behaviour of robotic applications

Miyazawa, Alvaro, Ribeiro, Pedro, Li, Wei, Cavalcanti, Ana, Timmis, Jon, Woodcock, Jim

Журнал:

Software & Systems Modeling

Рік:

2019

Мова:

english

Файл:

PDF, 4.10 MB

english, 2019

Aphid sex pheromones: manipulation of beneficial insects for aphid population control

Glinwood, Robert T, Smiley, Diane W M, Hardie, Jim, Pickett, John A, Powell, Wilf, Wadhams, Lester J, Woodcock, Christine M

Журнал:

Pesticide Science

Рік:

1999

Мова:

english

Файл:

PDF, 95 KB

english, 1999

Comparative study of three PCR assays with antigenaemia and serology for the diagnosis of HCMV infection in thoracic transplant recipients

Barber, Lisa, Egan, Jim J., Lomax, Joyce, Yonan, Nizar, Deiraniya, Abdul K., Turner, Andrew J., Woodcock, Ashley A., Fox, Andrew J.

Журнал:

Journal of Medical Virology

Рік:

1996

Мова:

english

Файл:

PDF, 774 KB

english, 1996

Mechanising the Alphabetised Relational Calculus

Gift Nuka, Jim Woodcock

Журнал:

Рік:

2004

Мова:

english

Файл:

PDF, 211 KB

english, 2004

A Denotational Semantics for Circus

Журнал:

Ana Cavalcanti, Jim Woodcock

Рік:

2007

Мова:

english

Файл:

PDF, 364 KB

english, 2007

Angelic Nondeterminism and Unifying Theories of Programming

Журнал:

Science of Computer Programming

Рік:

2005

Мова:

english

Файл:

PDF, 340 KB

english, 2005

POSIX file store in Z/Eves: An experiment in the verified software repository

Leo Freitas, Jim Woodcock, Zheng Fu

Журнал:

Рік:

2009

Мова:

english

Файл:

PDF, 796 KB

english, 2009

An inconsistency in procedures, parameters, and substitution in the refinement calculus

Science of Computer Programming

Журнал:

Рік:

1999

Мова:

english

Файл:

PDF, 772 KB

english, 1999

Semantic Domains for Handel-C

Andrew Butterfield, Jim Woodcock

Журнал:

Andrew Butterfield, Jim Woodcock

Рік:

2003

Мова:

english

Файл:

PDF, 211 KB

english, 2003

An Operational Semantics for Handel-C

Журнал:

Рік:

2003

Мова:

english

Файл:

PDF, 189 KB

english, 2003

Refinement of Actions in Circus,

Журнал:

Рік:

2002

Мова:

english

Файл:

PDF, 244 KB

english, 2002

Preface: Volume 70, Issue 3

John Derrick, Eerke Boiten, Jim Woodcock, Joakim von Wright

Журнал:

Jane Sinclair, Jim Woodcock

Рік:

2002

Мова:

english

Файл:

PDF, 47 KB

english, 2002

Behavioural responses of Aphis fabae to isothiocyanates in the laboratory and field

Rufus Isaacs, Jim Hardie, Alastair J. Hick, Barry J. Pye, Lesley E. Smart, Lester J. Wadhams, Christine M. Woodcock

Журнал:

Pest Management Science

Рік:

1993

Мова:

english

Файл:

PDF, 574 KB

english, 1993

Event refinement in state-based concurrent systems

Журнал:

Richard Lilley, Jim Hardie, L. A. Merritt, John A. Pickett, Lester J. Wadhams, Christine M. Woodcock

Рік:

1995

Мова:

english

Файл:

PDF, 1002 KB

english, 1995

The sex pheromone of the grain aphid,Sitobion avenae(Fab.) (Homoptera, Aphididae)

Журнал:

Chemoecology

Рік:

1994-1995

Мова:

english

Файл:

PDF, 409 KB

english, 1994-1995

Aphid sex pheromone components: Age-dependent release by females and species-specific male response

Jim Hardie, Marcel Holyoak, Jill Nicholas, Stephen F. Nottingham, John A. Pickett, Lester J. Wadhams, Christine M. Woodcock

Журнал:

Chemoecology

Рік:

1990

Мова:

english

Файл:

PDF, 606 KB

english, 1990

Behavioral and electrophysiological responses of Aphids to host and nonhost plant volatiles

Stephen F. Nottingham, Jim Hardie, Glenn W. Dawson, Alastair J. Hick, John A. Pickett, Lester J. Wadhams, Christine M. Woodcock

Журнал:

Journal of Chemical Ecology

Рік:

1991

Мова:

english

Файл:

PDF, 562 KB

english, 1991

Methyl salicylate and (−)-(1R,5S)-myrtenal are plant-derived repellents for black bean aphid,Aphis fabaeScop. (Homoptera: Aphididae)

Jim Hardie, Rufus Isaacs, John A. Pickett, Lester J. Wadhams, Christine M. Woodcock

Журнал:

Journal of Chemical Ecology

Рік:

1994

Мова:

english

Файл:

PDF, 388 KB

english, 1994

The First World Congress on Formal Methods in the Development of Computing Systems

Jeanette Wing, Jim Woodcock

Журнал:

Рік:

2000

Мова:

english

Файл:

PDF, 28 KB

english, 2000

A Refinement Strategy forCircus

Журнал:

Рік:

2003

Мова:

english

Файл:

PDF, 331 KB

english, 2003

ArcAngel: a Tactic Language for Refinement

Журнал:

Cliff Jones, Jim Woodcock

Рік:

2003

Мова:

english

Файл:

PDF, 209 KB

english, 2003

Editorial

Журнал:

Ana Cavalcanti, Jim Woodcock, Steve Dunne

Рік:

2007

Мова:

english

Файл:

PDF, 52 KB

english, 2007

Angelic nondeterminism in the unifying theories of programming

Журнал:

Рік:

2006

Мова:

english

Файл:

PDF, 240 KB

english, 2006

The certification of the Mondex electronic purse to ITSEC Level E6

Jim Woodcock, Susan Stepney, David Cooper, John Clark, Jeremy Jacob

Журнал:

Leo Freitas, Jim Woodcock

Рік:

2008

Мова:

english

Файл:

PDF, 202 KB

english, 2008

Mechanising Mondex with Z/Eves

Журнал:

Рік:

2008

Мова:

english

Файл:

PDF, 224 KB

english, 2008

A UTP semantics forCircus

Журнал:

Cliff Jones, Jim Woodcock

Рік:

2009

Мова:

english

Файл:

PDF, 756 KB

english, 2009

Editorial

Журнал:

Leo Freitas, Jim Woodcock

Рік:

2008

Мова:

english

Файл:

PDF, 50 KB

english, 2008

FDR Explorer

Журнал:

Ana Cavalcanti, Jim Woodcock

Рік:

2009

Мова:

english

Файл:

PDF, 362 KB

english, 2009

ZRC – A Refinement Calculus for Z

Журнал:

Zhiming Liu, Jim Woodcock

Рік:

1998

Мова:

english

Файл:

PDF, 149 KB

english, 1998

Editorial

Журнал:

Daniel Kroening, Tiziana Margaria, Jim Woodcock

Рік:

2011

Мова:

english

Файл:

PDF, 38 KB

english, 2011

Editorial

Журнал:

Andrew Butterfield, Jim Woodcock

Рік:

2011

Мова:

english

Файл:

PDF, 68 KB

english, 2011

Correct hardware synthesis

Juan Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda

Журнал:

Acta Informatica

Рік:

2011

Мова:

english

Файл:

PDF, 346 KB

english, 2011

prialt in Handel-C: an operational semantics

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2005

Мова:

english

Файл:

PDF, 1.05 MB

english, 2005

Dolichodial: A New Aphid Sex Pheromone Component?

Sarah Y. Dewhirst, Michael A. Birkett, Jean D. Fitzgerald, Alex Stewart-Jones, Lester J. Wadhams, Christine M. Woodcock, Jim Hardie, John A. Pickett

Журнал:

Journal of Chemical Ecology

Рік:

2008

Мова:

english

Файл:

PDF, 327 KB

english, 2008

Formal development of industrial-scale systems inCircus